Em uma linguagem fortemente tipada, a imutabilidade é o estado fundamental dos dados, garantindo segurança na memória e execução previsível. Embora variáveis possam ser sombreadas ou tornadas mutáveis, Constantes levam isso um passo além ao vincular um valor a um nome permanentemente.

1. A Rigidez das Constantes

Diferentemente das variáveis padrão onde Inferência de Tipo permite que o compilador deduza o tipo de dado, as constantes exigem estritamente um anotação explícita de tipo (por exemplo, : u32). Isso mantém contratos rigorosos dentro do binário do código.

2. Avaliação em Tempo de Compilação

As constantes não são meras variáveis imutáveis; elas são avaliadas e "incorporadas" no binário do programa durante o tempo de compilação. Isso permite que o compilador realize expressões constantes (como 60 * 60 * 3) antes do programa sequer iniciar, otimizando o desempenho.

3. Imutabilidade Absoluta

As constantes servem como a "única fonte de verdade." Elas não podem ser tornadas mutáveis com mut e não podem ser sombreadas no mesmo escopo, garantindo que os parâmetros vitais do programa permaneçam inalterados durante toda a execução.